infer a term